Finitary monads on the category of posets
نویسندگان
چکیده
Abstract Finitary monads on Pos are characterized as precisely the free-algebra of varieties algebras. These classes ordered algebras specified by inequations in context. Analogously, finitary enriched characterized: here we work with coherent which means that their operations monotone.
منابع مشابه
On the Category of Posets
Let I1 be a relation structure. We say that I1 is discrete if and only if: (Def. 1) The internal relation of I1 = △the carrier of I1. Let us mention that there exists a poset which is strict discrete and non empty and there exists a poset which is strict discrete and empty. Let X be a set. Then △X is an order in X. Observe that 〈∅,△∅〉 is empty. Let P be an empty relation structure. One can chec...
متن کاملCOGENERATOR AND SUBDIRECTLY IRREDUCIBLE IN THE CATEGORY OF S-POSETS
In this paper we study the notions of cogenerator and subdirectlyirreducible in the category of S-poset. First we give somenecessary and sufficient conditions for a cogenerator $S$-posets.Then we see that under some conditions, regular injectivityimplies generator and cogenerator. Recalling Birkhoff'sRepresentation Theorem for algebra, we study subdirectlyirreducible S-posets and give this theo...
متن کاملCompound Monads and the Kleisli Category
We consider sets of monad rules derived by focussing on the Kleisli category of a monad, and from these we derive some constructions for compound monads. Under certain conditions these constructions correspond to a distributive law connecting the monads. We also show how these relate to some constructions for compound monads described previously.
متن کاملProperties of products for flatness in the category of $S$-posets
This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products. Specifically, we characterize a pomonoid $S$ over which its nonempty products as right $S$-posets satisfy some known flatness properties. Generalizing this results, we investigate products of right $S$-posets satisfying Condi...
متن کاملcogenerator and subdirectly irreducible in the category of s-posets
in this paper we study the notions of cogenerator and subdirectlyirreducible in the category of s-poset. first we give somenecessary and sufficient conditions for a cogenerator $s$-posets.then we see that under some conditions, regular injectivityimplies generator and cogenerator. recalling birkhoff'srepresentation theorem for algebra, we study subdirectlyirreducible s-posets and give this theo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2021
ISSN: ['1469-8072', '0960-1295']
DOI: https://doi.org/10.1017/s0960129521000360